Received: by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.6)
id AA06756; Tue, 7 Feb 95 00:18:33 PST
Received: from tuminfo2.informatik.tu-muenchen.de by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.6)
id AB06743; Tue, 7 Feb 95 00:18:25 PST
Received: from hphalle0.informatik.tu-muenchen.de ([131.159.4.1]) by tuminfo2.informatik.tu-muenchen.de with ESMTP id <158-3>; Tue, 7 Feb 1995 08:51:50 +0100
Received: by hphalle0.informatik.tu-muenchen.de id <209163-1>; Tue, 7 Feb 1995 08:51:42 +0100